Généralisation du théorème de Ikehara

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Contradiction ou indécidabilité: il faut choisir! À propos du théorème d'incomplétude de Gödel

“Je suis un menteur”. L’individu qui considère que dans le monde qui l’entoure tout ne peut être que vrai ou faux, ne peut pas statuer sur la vérité de cette phrase. En effet : s’il considère que la phrase “Je suis un menteur” est vraie, alors celui qui l’énonce est un menteur car c’est ce qu’affirme la phrase. Les menteurs ne prêchant que le faux, cette phrase est fausse ; il y a contradiction...

Une généralisation automorphe des nombres de Stirling

Let [n] be theset {1,2, *.. , n> and CT a given permutation in S,, the symmetric group on [n]. The (unsigned) Stirling numbers of the first kind enumerate the permutations on En] with k cycles and those of the second kind give the number partitions of [n] having k blocks. In this paper we compute the number of permutations on [n] with k cycles and the number of partitions on [n] having k blocks...

Adaptation du Virus de l'Echtyma Contrgieux à la Culture de Cellules de Singe

Parasites du sang de divers animaux de la region de Tehran